<?php
// Skipping temporarily until we decide how we can minimize
// pain for frequently changing runtime option values
if (true) {
  print "skip";
}
